Borel combinatorics fail in <i>HYP</i>
نویسندگان
چکیده
We characterize the completely determined Borel subsets of HYP as exactly [Formula: see text] HYP. As a result, believes there is well-ordering reals, that Dual Ramsey Theorem fails, and every d-regular bipartite graph has perfect matching, among other examples. Therefore, several theorems descriptive combinatorics are not theories hyperarithmetic analysis. In case Theorem, this answers question Astor, Dzhafarov, Montalbán, Solomon third author.
منابع مشابه
Hyperfiniteness and Borel Combinatorics
We study the relationship between hyperfiniteness and problems in Borel graph combinatorics by adapting game-theoretic techniques introduced by Marks to the hyperfinite setting. We compute the possible Borel chromatic numbers and edge chromatic numbers of bounded degree acyclic hyperfinite Borel graphs and use this to answer a question of Kechris and Marks about the relationship between Borel c...
متن کاملThe Combinatorics of Borel Covers
In this paper we extend previous studies of selection principles for families of open covers of sets of real numbers to also include families of countable Borel covers. The main results of the paper could be summarized as follows: (1) Some of the classes which were different for open covers are equal for Borel covers – Section 1; (2) Some Borel classes coincide with classes that have been studi...
متن کاملA Determinacy Approach to Borel Combinatorics
We introduce a new method, involving infinite games and Borel determinacy, which we use to answer several well-known questions in Borel combinatorics.
متن کاملBorel structures and Borel theories
We show that there is a complete, consistent Borel theory which has no “Borel model” in the following strong sense: There is no structure satisfying the theory for which the elements of the structure are equivalence classes under some Borel equivalence relation and the interpretations of the relations and function symbols are Borel in the natural sense. We also investigate Borel isomorphisms be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Mathematical Logic
سال: 2022
ISSN: ['0219-0613', '1793-6691']
DOI: https://doi.org/10.1142/s0219061322500234